COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub" source
C00004 ENDMK
C⊗;
.require "let.pub" source
∂CSM John Perry, Philosophy Department$$CS-226 Epistemological Problems of Artificial Intelligence∞

You may be interested in cross-listing the following course in
philosophy.  I discussed it with Pat about two years ago, but I didn't
get around to rewriting the catalog description.

226. Epistemological Problems of Artificial Intelligence - Formalisms
for representing what a general intelligent program must know about
the world including facts about causality, ability, knowledge and
action.  Modes of rigorous and conjectural reasoning for computer
programs.  Connections with philosophy, especially philosophical logic.
Related material in logic and elementary set theory.